"Ed Brinksma" скачать бесплатно. Электронная библиотека. Поиск книг BookSee

Самая большая электронная библиотека рунета. Поиск книг и журналов

#1

Tools and Algorithms for the Construction and Analysis of Systems, 1 conf., TACAS '95

Ed Brinksma, W. Rance Cleaveland, Kim G. Larsen, Tiziana Margaria, Bernhard Steffen

Категория: Cs_Computer science, CsLn_Lecture notes

2.30 Mb

#2

Tools and Algorithms for the Construction and Analysis of Systems, 3 conf., TACAS '97

Категория: Cs_Computer science, CsLn_Lecture notes

4.18 Mb

#3

Lectures on Formal Methods and Performance Analysis, 1 school, 2000

Ed Brinksma, Holger Hermanns, Joost-Pieter Katoen

Категория: Cs_Computer science, CsLn_Lecture notes

3.80 Mb

#4

Computer Aided Verification, 14 conf., CAV 2002

Ed Brinksma, Kim G. Larsen

Категория: Cs_Computer science, CsLn_Lecture notes

5.01 Mb